Electronic Submission Protocol Based on Temporal Accountability

This paper describes various possible attacks on temporal properties such as temporal records of payment times and declarations of the closing times for electronic submissions, and explains defense measures that use a trusted third party to provide temporal accountability. We propose a secure electronic submission protocol as a typical time-sensitive application and a temporal accountability logic, which is an extension of Kailar’s work. We analyze the proposed protocol by applying our temporal accountability logic, and describe some modifications of the protocol, which reduce the total number of flows while keeping the protocol as logically secure as the original one in terms of temporal